Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 5.Ident. | Authors (with country if any) | Title |
---|---|---|
00DE11 | M. Bidoit [France] ; F. Capy [France] ; C. Choppy [France] | The design and specification of the ASSPEGIQUE database |
00E621 | C. Choppy [France] | Formal specifications, prototyping and integration tests |
00E633 | C. Choppy [France] ; S. Kaplan [France] ; M. Soria [France] | Algorithmic complexity of term rewriting systems |
00EA37 | C. Choppy [France] ; C. Johnen [France] | Petrireve: Proving Petri net properties with rewriting systems |
00EA62 | C. Choppy [France] ; G. Guiho [France] ; S. Kaplan [France] | A LISP compiler for FP language and its proof via algebraic semantics |
This area was generated with Dilib version V0.6.33. |